Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
301	Open-world Software: Specification, Verification, and Beyond Add to Reading List Source URL: doc.rero.ch Language: English - Date: 2013-08-12 04:01:01 Carlo Ghezzi Mehdi Jazayeri
302	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-15 09:51:55 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
303	IAPCO’s Code of Quality Control 1. Introduction There is a consensus within IAPCO that – in addition to the quality verification process Add to Reading List Source URL: www.iapco.org Language: English - Date: 2015-02-19 04:29:59 Quality control Software quality Ethics Evaluation Quality assurance Auditing
304	Swiss Association for Quality Verification Regulations Certified Tester Add to Reading List Source URL: www.software-tester.ch Language: English - Date: 2011-07-14 10:09:31 International Software Testing Qualifications Board Knowledge Academic certificate Certification Australia and New Zealand Testing Board International Software Testing Qualifications Board Certified Tester Software testing Education Evaluation
305	Bootstrapping Trust in Online Dating: Social Verification of Online Dating Profiles Gregory Norcie1,? , Emiliano De Cristofaro2 , and Victoria Bellotti2 1 Indiana University Add to Reading List Source URL: www.kisc.meiji.ac.jp Language: English - Date: 2013-03-20 17:40:02 Web 2.0 Blog hosting services Social information processing Identity management Social issues Internet privacy Facebook Social networking service Privacy World Wide Web Computing Software
306	The Open Group COE Platform Certification Program Manual Validation Procedures Introduction and Overview June 02, 2003 Add to Reading List Source URL: www.opengroup.org Language: English - Date: 2003-06-02 09:10:44 Software testing Tests Science Education Systems engineering Verification and validation Validation Test Test plan Pharmaceutical industry Validity Evaluation
307	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
308	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
309	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
310	Busitech QW 5.0 versionMay21, 2009 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:00 Validation Windows Script Host Verification and validation Software testing Science System software Software Pharmaceutical industry Validity Windows Registry

UPDATE